Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
131	Similarity-based Information Retrieval and its Role within Spatial Data Infrastructures Krzysztof Janowicz1 , Marc Wilkes1 , Michael Lutz2 1 Institute for Geoinformatics, University of Muenster, Germany Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:31:52 Information science Technical communication Knowledge representation Semantic Web Ontology Semantic similarity Upper ontology Description logic Relevance Science Knowledge Information
132	Algorithm, Implementation and Application of the SIM-DL Similarity Server Krzysztof Janowicz, Carsten Keßler, Mirco Schwarz, Marc Wilkes, Ilija Panov, Martin Espeter, and Boris B¨aumer Institute for Geoinformatics, Uni Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:35:02 Ontology Information science Knowledge engineering Knowledge representation Description logic Semantic similarity Web Ontology Language Ontology language Similarity Information Semantic Web Science
133	Factorized Multi-Modal Topic Model Seppo Virtanen1 , Yangqing Jia2 , Arto Klami1 , Trevor Darrell2 1 Helsinki Institute for Information Technology HIIT Department of Information and Compute Science, Aalto University Add to Reading List Source URL: daggerfs.com Language: English Topic model Statistics Latent Dirichlet allocation Modal logic Modality Linguistic modality KeY Perplexity Statistical natural language processing Logic Science
134	Associate Editors Rick Altman, Film Studies, University of Iowa Carolyn Birdsall, Media Studies, University of Amsterdam Rüdiger Campe, German Language and Literature, Yale University Karine Chemla, Sinology, Centre Na Add to Reading List Source URL: press.uchicago.edu Language: English - Date: 2015-04-03 14:23:35 Aesthetics Musicology Digital humanities Institute for Logic Language and Computation Science Leiden University Anthropology Social science Anthony Grafton Academia Humanities Knowledge
135	Enhancing Indigenous Financial Capability Programs First Nations Foundation • Prepared for the Indigenous Financial Services Network • December 2011 The Authors Add to Reading List Source URL: www.reconciliation.org.au Language: English - Date: 2013-03-21 19:22:23 Indigenous Australians Torres Strait Islands Logic model Financial literacy Torres Strait Islanders Australian Institute of Aboriginal and Torres Strait Islander Studies Indigenous peoples of Australia Australian Aboriginal culture Oceania
136	Kinds of Contexts and their Impact on Semantic Similarity Measurement Krzysztof Janowicz Institute for Geoinformatics, University of Muenster, Germany Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:34:35 Computational linguistics Knowledge Semantic Web Semantic similarity Technical communication Knowledge representation Description logic Similarity Knowledge representation and reasoning Science Information science Geometry
137	Institute for Medical Simulation Simulation Instructor Training Presents “Simulation as a Teaching Tool” Add to Reading List Source URL: www.scssc.edu.au Language: English - Date: 2012-10-15 00:34:50 Electronic engineering Operations research Simulation Debriefing Immersion Logic simulation Experiential learning Education Learning Medical simulation
138	STARS: A System for Tuning and Actively Reconfiguring SoC Links Gregory Diamos and Sudhakar Yalamanchili School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA, USA Email: { gtg250v@mail Add to Reading List Source URL: www.gdiamos.net Language: English - Date: 2011-06-30 03:27:08 Logic gates Electronic design Oscillators Computer memory Flip-flop Static timing analysis Voltage-controlled oscillator Clock signal Clock Electronic engineering Electronics Digital electronics
139	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
140	LusSy: an open Tool for the Analysis of Systems-on-aChip at the Transaction Level Matthieu Moy∗ , Florence Maraninchi* , Laurent Maillet-Contoz† Abstract. We describe a toolbox for the analysis of Systems-on-a-chip w Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-12-17 11:12:12 Electronic design automation SystemC Logic design Transaction-level modeling High-level synthesis VHDL Advanced Learning and Research Institute Verilog Catapult C Electronic engineering Hardware description languages Digital electronics

UPDATE